-
1 derivation
n1) утворення; одержання, (з)добування2) джерело; походження3) дериват, похідне4) лінгв. деривація, слововивід5) етимологія, походження слова6) біол. еволюційне вчення; теорія еволюції7) мед. відтягування8) мат. взяття похідної; рішення; висновок9) ел. відгалуження, шунтування* * *n1) утворення, отримання ( з якого-небудь джерела); добування2) джерело; походження3) cпeц. дериват, похідне4) лiнгв. деривація, словотворення; етимологія; походження слова5) бioл. вчення про походження органічних форм, еволюційне вчення; теорія еволюції6) мeд. відволікання, ревульсія7) мaт. диференціювання, операція знаходження похідної; виведення виразу, виведення формули8) eл. відгалуження, шунтування9) вiйcьк. деривація ( при стрільбі)10) лiнгв. виведення, отримання ( синтаксичної структури) -
2 derivation
n1) утворення, отримання ( з якого-небудь джерела); добування2) джерело; походження3) cпeц. дериват, похідне4) лiнгв. деривація, словотворення; етимологія; походження слова5) бioл. вчення про походження органічних форм, еволюційне вчення; теорія еволюції6) мeд. відволікання, ревульсія7) мaт. диференціювання, операція знаходження похідної; виведення виразу, виведення формули8) eл. відгалуження, шунтування9) вiйcьк. деривація ( при стрільбі)10) лiнгв. виведення, отримання ( синтаксичної структури) -
3 логіка висловлювань
ЛОГІКА ВИСЛОВЛЮВАНЬ (пропозиційна логіка) - розділ сучасної логіки. Л.в. є основою сучасної логіки, де досліджуються міркування із складних речень, відволікаючись від структури простих речень (принцип двозначності) В. пропозиційній логіці повністю абстрагуються від смислового значення висловлювання, до уваги береться лише його предметне значення. Предметним значенням висловлювання, або його денотатом, виступають два абстрактних об'єкти: "істина" та "хиба", тобто його логічні значення. Так, напр., висловлювання "2x2=4, або логіка - наука", "Якщо Київ розташований на Дніпрі, тоді сніг білий" можуть стати предметом дослідження в Л.в. Л.в. цікавить лише те, як з простих висловлювань утворюються складні та як залежить значення істинності складного висловлювання від значень істинності простих висловлювань, які його утворюють. Щоб задати мову Л.в., необхідно з'ясувати її алфавіт, тобто задати список знакових засобів і визначити формулу. Список знакових засобів мови Л.в. включає такі знаки: знаки змінних - р, q, г, р, q г...; знаки логічних сполучників (заперечення), (кон'юнкція), (диз'юнкція), (імплікація), (еквіваленція), технічні знаки (,). Л.в. як логічна теорія може бути визначена синтаксично (аксіоматично), семантично (таблиці істинності для зв'язок).
Перевод: со всех языков на все языки
со всех языков на все языки- Со всех языков на:
- Все языки
- Со всех языков на:
- Украинский